A Note on Congruence Kernels in Ortholattices
نویسنده
چکیده
We characterize ideals of ortholattices which are congruence kernels. We show that every congruence class determines a kernel.
منابع مشابه
Congruence Kernels of Orthoimplication Algebras
Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a natural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the correspondin...
متن کاملT-FUZZY CONGRUENCES AND T-FUZZY FILTERS OF A BL-ALGEBRA
In this note, we introduce the concept of a fuzzy filter of a BLalgebra,with respect to a t-norm briefly, T-fuzzy filters, and give some relatedresults. In particular, we prove Representation Theorem in BL-algebras. Thenwe generalize the notion of a fuzzy congruence (in a BL-algebra) was definedby Lianzhen et al. to a new fuzzy congruence, specially with respect to a tnorm.We prove that there i...
متن کاملThe Congruence Subgroup Problem for Branch Groups
We state and study the congruence subgroup problem for groups acting on rooted tree, and for branch groups in particular. The problem is reduced to the computation of the congruence kernel, which we split into two parts: the branch kernel and the rigid kernel. In the case of regular branch groups, we prove that the first one is Abelian while the second has finite exponent. We also establish som...
متن کاملOn the Skeleton of Stonian p-Ortholattices
Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus. Similarly, Stonian p-ortholattices serve as a lattice theoretic version of the onthology RT− of Asher and Vieu. In this paper we study the relationship between BCAs and Stonian p-ortholattices. We show that the skeleton of every Stonian p-ortholattice is a BCA, and,...
متن کاملAn implication in orthologic
We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described.
متن کامل